#ifndef MARSHALING_SERVER_H_
#define MARSHALING_SERVER_H_

#include "function_numbers.h"
#include "../ipcs/ipc.h"


void add_query(int function_num, void (*function)(void* parameters, void** ans, int* ans_size));
int listen_query();
int make_query(int function_num, void* parameters, int parameters_size, void** ans);
message_t marshal_query(int function_num, void* parameters, int parameters_size);

#endif
